ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS
نویسنده
چکیده
An important tool in the hyperstructure theory is the fundamental relation. The factorization of a multialgebra modulo its fundamental relation provides a functor into the category of universal algebras. The question that lead us to the results we will present is whether this functor commutes with the products. 2000 Mathematics Subject Classification: 08A05, 20N20, 08A99.
منابع مشابه
Factor multialgebras, universal algebras and fuzzy sets
Our general investigation of universal algebras obtained from multialgebras via strongly regular equivalence relations provides useful general results concerning fuzzy set topics related to multialgebra theory. We also give many hints on how to connect our approach with the results from the literature. Acknowledgement. The first author was supported by the CNCS-UEFISCDI grant PNII-RU-TE-2011-3-...
متن کاملCompositional Homomorphisms of Relational Structures (modeled as Multialgebras)
The paper attempts a systematic study of homomorphisms of relational structures. Such structures are modeled as multialgebras (i.e., relation is represented as a set-valued function). The rst, main, result is that, under reasonable restrictions on the form of the deenition of homomorphism, there are exactly nine compositional homomorphisms of multialgebras. Then the comparison of the obtained c...
متن کاملQuantifier-free logic for multialgebraic theories
We develop a new logic for deriving consequences of multialgebraic theories (specifications). Multilagebras are used as models for nondeterminism in the context of algebraic specifications. They are many sorted algebras with set valued operations. Atomic formulae are set inclusion t ≺ t′ – the interpretation of t is included in the interpretation of t′, and element equality t . = t′ – t and t′ ...
متن کاملEvolving Multialgebras Unify All Usual Sequential Computation Models
It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) simulation is not identification, 2) the ASMs simulating machines of some type do not constitute a natural class among all ASMs. We modify Gurevich’s notion of ASM to that of EMA (“Evolving MultiAlgebra”) by replacing the program (w...
متن کاملGains from diversification on convex combinations: A majorization and stochastic dominance approach
By incorporating both majorization theory and stochastic dominance theory, this paper presents a general theory and a unifying framework for determining the diversification preferences of risk-averse investors and conditions under which they would unanimously judge a particular asset to be superior. In particular, we develop a theory for comparing the preferences of different convex combination...
متن کامل